unification algorithm
英 [ˌjuːnɪfɪˈkeɪʃn ˈælɡərɪðəm]
美 [ˌjuːnɪfɪˈkeɪʃn ˈælɡərɪðəm]
网络 合一算法
双语例句
- On Solutions to Non-Homogeneous Differential Equations with Two Unknowns Through General Way and Laplace Transform and Discuss on Their Unification Raster Dataset projection transform based-on bilinear interpolation approximate grid algorithm
二元非齐次线性微分方程组时域、变换域解及解的统一性探讨双线性插值近似网格的栅格数据投影变换 - It describes the system using the functional unification grammar and also discusses the matching algorithm, syntax analysis and decidable problem analysis.
使用了功能合一语法对描述系统，对系统中采用的匹配算法、语法分析及可判定性分析进行了讨论。 - This paper discusses the equation extention method which solves the expres-sion problems in logic program system. The equation logic is implemented efficiently by building the description of the type and improving the unification algorithm on the base of the rewriting mechanism.
讨论了在逻辑程序系统中处理表达式的等式扩展方法，描述了表达式建立类型并在重写机制的基础上改进传统的合一操作，实现了高效的等式逻辑。 - A Unification Algorithm for the General Unification Problem in the ACUN Theory
ACUN理论一般合一化问题的合一化算法 - Based on the optimized decomposition algorithm for the unification problem of the union of disjoint equational theories and the Gaussian elimination method, we present a unification algorithm for the general unification problem of the ACUN theory.
基于联合理论合一化问题的优化分解算法和高斯消元法，本文给出了ACUN理论一般合一化问题的合一化算法。 - Unification algorithm with quantifiers
带量词的合一算法 - A new algorithm for Algorithm Tree complement function is proposed. This paper exposes an underlying unification of the existing complementation algorithms. It is proven that unate complementation and sharp are the same as DeMorgan Law algorithm and disjoint sharp is a special case of the recursive method;
阐述了已有的求补运算算法的潜在统一性，证明了单边求补算法、sharp算法与德·摩根律是等效的算法；